ARQ-M was developed to automatically deal with errors . and so it became known as the van Duuren automatic error correction system.
2.
He wrote on theoretical computer science, including programming languages, automatic error correction, non-numerical applications of computers, and the connection between computer science and mathematical logic.